PROW: A Step Toward Automatic Program Writing
نویسندگان
چکیده
This paper aescriDes a program, ca l led "PRUW", which w r i t es programs. PROW accepts the s p e c i f i ca t i on of the program in the language of predicate ca l cu lus , decides the a lgor i thm f o r the program and then produces a LISP program which is an im plementat ion of the a lgor i thm. Since the construc t i o n of the a lgor i thm is obtained by formal theorem-proving techniques, the programs tha t PROW wr i t es are f ree from l o g i c a l er rors and do not have to be debugged. The user of PROW can make PROW w r i t e programs in languages other than LISP by modifying the par t of PROW tha t t rans la tes an a lgor i thm to a LISP program. Thus PROW can be modi f ied to w r i t e programs in any language. In the end of t h i s paper, it is shown tha t PROW can a lso be used as a quest ion-answering program.
منابع مشابه
Some Rules For The Automatic Synthesis Of Programs
A set of rules (or facts) about program synthesis is presented. The rules are about the process of programming, and are sutficient for the synthesis of an insertion sort program. The use of the rules to write a short LISP program is described. Taken together, the rules are an embodiment of a detailed theory which explains one small part of the programming process. The size of the set of rules s...
متن کاملSelf-assessment of Writing in a Portfolio Program: A Case of Iranian EFL Learners
After moving away from the psychometric and the integrative language testing paradigms toward the communicative language testing paradigm, experts in writing and assessment have been concerned with creating conditions under which learners can experience and display writing in an authentic way so that their writings will tally the ones in non-test situations. As an alternative assessment option,...
متن کاملImpact of Dynamic Assessment on Iranian EFL Learners' Picture-cued Writing
Abstract In Iran, most English teachers’ method of teaching writing is merely to have students do some writing exercises or simply to give them writing tests without any instruction, but writing is not an easy task for students, and teachers should be able to do more to facilitate their students’ writing. One of the ways to aid writing is dynamic assessment via graduated prompt. The graduated p...
متن کاملImpact of Dynamic Assessment on Iranian EFL Learners' Picture-cued Writing
Abstract In Iran, most English teachers’ method of teaching writing is merely to have students do some writing exercises or simply to give them writing tests without any instruction, but writing is not an easy task for students, and teachers should be able to do more to facilitate their students’ writing. One of the ways to aid writing is dynamic assessment via graduated prompt. The graduated p...
متن کاملThe Effects of Types of Writing Approaches on Iranian EFL Learners’ Writing Performance and Their Attitudes toward Writing Skill
The main purpose of the present quasi-experimental study was twofold; its first purpose was to investigate the effects of using of two approaches namely; genre and process on EFL learners’ accuracy, fluency, and complexity in written task production. Secondly, it attempted to investigate the effects of mentioned approaches on EFL learners’ attitude toward writing skill. to this end, 60 learners...
متن کامل